Complexity in complex analysis

We show that the classical kernel and domain functions associated to an n-connected domain in the plane are all given by rational combinations of three or fewer holomorphic functions of one complex variable. We characterize those domains for which the classical functions are given by rational combinations of only two or fewer functions of one complex variable. Such domains turn out to have the property that their classical domain functions all extend to be meromorphic functions on a compact Riemann surface, and this condition will be shown to be equivalent to the condition that an Ahlfors map and its derivative are algebraically dependent. We also show how many of these results can be generalized to finite Riemann surfaces.Comment: 30 pages, to appear in Advances in Mat

The Green's function and the Ahlfors map

The classical Green's function associated to a simply connected domain in the complex plane is easily expressed in terms of a Riemann mapping function. The purpose of this paper is to express the Green's function of a finitely connected domain in the plane in terms of a single Ahlfors mapping of the domain, which is a proper holomorphic mapping of the domain onto the unit disc that is the analogue of the Riemann map in the multiply connected setting.Comment: 14 page

The structure of the semigroup of proper holomorphic mappings of a planar domain to the unit disc

Given a bounded n-connected domain in the plane bounded by non-intersecting Jordan curves, and given one point on each boundary curve, L. Bieberbach proved that there exists a proper holomorphic mapping of the domain onto the unit disc that is an n-to-one branched covering with the properties that it extends continuously to the boundary and maps each boundary curve one-to-one onto the unit circle, and it maps each given point on the boundary to the point 1 in the unit circle. We modify a proof by H. Grunsky of Bieberbach's result to show that there is a rational function of 2n+2 complex variables that generates all of these maps. We also show how to generate all the proper holomorphic mappings to the unit disc via the rational function.Comment: 17 page

Quadrature domains and kernel function zipping

It is proved that quadrature domains are ubiquitous in a very strong sense in the realm of smoothly bounded multiply connected domains in the plane. In fact, they are so dense that one might as well assume that any given smooth domain one is dealing with is a quadrature domain, and this allows access to a host of strong conditions on the classical kernel functions associated to the domain. Following this string of ideas leads to the discovery that the Bergman kernel can be zipped down to a strikingly small data set. It is also proved that the kernel functions associated to a quadrature domain must be algebraic.Comment: 13 pages, to appear in Arkiv for matemati

Szego coordinates, quadrature domains, and double quadrature domains

We define Szego coordinates on a finitely connected smoothly bounded planar domain which effect a holomorphic change of coordinates on the domain that can be as close to the identity as desired and which convert the domain to a quadrature domain with respect to boundary arc length. When these Szego coordinates coincide with Bergman coordinates, the result is a double quadrature domain with respect to both area and arc length. We enumerate a host of interesting and useful properties that such double quadrature domains possess, and we show that such domains are in fact dense in the realm of bounded finitely connected domains with smooth boundaries.Comment: 19 page